<!-- numberValueTypes4 -->
<html>
Type inference failed: Cannot infer type parameter <b>T</b> in
<table>
<tr>
  <td width="10%"></td>
  <td align="right" colspan="2" style="white-space:nowrap;font-weight:bold;"><b>fun</b> <`T> bar</td>
  <td style="white-space:nowrap;font-weight:bold;">(</td>
  <td align="right" style="white-space:nowrap;font-weight:bold;">t: T,</td>
  <td align="right" style="white-space:nowrap;font-weight:bold;">l: MutableList<`T></td>
  <td style="white-space:nowrap;font-weight:bold;">)</td>
  <td style="white-space:nowrap;font-weight:bold;">: Unit</td>
</tr>
<tr>
  <td colspan="8" style="white-space:nowrap;">None of the following substitutions</td>
</tr>
<tr>
  <td width="10%"></td>
  <td style="white-space:nowrap;"></td>
  <td style="white-space:nowrap;"></td>
  <td style="white-space:nowrap;"><b>(</b></td>
  <td align="right" style="white-space:nowrap;"><font color=red><b>String</b></font><b>,</b></td>
  <td align="right" style="white-space:nowrap;"><b>MutableList<`String></b></td>
  <td style="white-space:nowrap;"><b>)</b></td>
</tr>
<tr>
  <td width="10%"></td>
  <td style="white-space:nowrap;"></td>
  <td style="white-space:nowrap;"></td>
  <td style="white-space:nowrap;"><b>(</b></td>
  <td align="right" style="white-space:nowrap;"><b>Int</b><b>,</b></td>
  <td align="right" style="white-space:nowrap;"><font color=red><b>MutableList<`Int></b></font></td>
  <td style="white-space:nowrap;"><b>)</b></td>
</tr>
<tr>
  <td colspan="8" style="white-space:nowrap;">can be applied to</td>
</tr>
<tr>
  <td width="10%"></td>
  <td style="white-space:nowrap;"></td>
  <td style="white-space:nowrap;"></td>
  <td style="white-space:nowrap;"><b>(</b></td>
  <td align="right" style="white-space:nowrap;"><b>Int</b><b>,</b></td>
  <td align="right" style="white-space:nowrap;"><b>MutableList<`String></b></td>
  <td style="white-space:nowrap;"><b>)</b></td>
</tr>
</table>
</html>